Rules For Validity Of Categorical Syllogism